Errata ” Principles of Model Checking ” ( July 2010 )

Thanks to the Model Checking Reading Club at the Radboud University of Nijmegen, The Netherlands (in particular David N. Jansen and Frits W. Vaandrager), Holger Hermanns (Saarland University), Dave Parker (Oxford University, UK), Stephen Siegel (University of Delaware, USA), René Thiemann (U. Innsbruck, Austria), Martin Lange (LMU, Germany), Ahmed Khademzadeh (Azad University of Mashhad, Iran), Moti Ben-Ari (Weizmann Institute, Israel), Verena Wolf (Saarland University), Erika Abráhám, Alexander Nyßen and Daniel Weber (RWTH Aachen University), Michael Ummels (ENS Cachan, France) and the students at the RWTH Aachen University attending the “(Advanced) Model Checking” lecture.